Generic absoluteness under projective forcing∗

نویسندگان

Joan Bagaria

Roger Bosch

چکیده

We study the preservation of the property of L(R) being a Solovay model under projective ccc forcing extensions. We compute the exact consistency strength of the generic absoluteness of L(R) under forcing with projective ccc partial orderings and, as an application, we build models in which Martin’s Axiom holds for Σ ∼ 1 n partial orderings, but it fails for the Σ ∼ 1 n+1.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Projective Absoluteness under Sacks Forcing

We show that Σ3-absoluteness under Sacks forcing is equivalent to the Sacks measurability of every ∆2 set of reals. We also show that Sacks forcing is the weakest forcing notion among all of the preorders which always add a new real with respect to Σ3 forcing absoluteness.

متن کامل

Proper forcing extensions and Solovay models

We study the preservation of the property of L(R) being a Solovay model under proper projective forcing extensions. We show that every ∼ 1 3 strongly-proper forcing notion preserves this property. This yields that the consistency strength of the absoluteness of L(R) under ∼ 1 3 strongly-proper forcing notions is that of the existence of an inaccessible cardinal. Further, the absoluteness of L(R...

متن کامل

Generic Σ 1 3 Absoluteness

In this article we study the strength of Σ 1 3 absoluteness (with real parameters) in various types of generic extensions, correcting and improving some results from [2]. We shall also make some comments relating this work to the bounded forcing axioms BMM, BPFA and BSPFA. The statement " Σ 1 3 absoluteness holds for ccc forcing " means that if a Σ 1 3 formula with real parameters has a solutio...

متن کامل